41. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده : Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
42. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
43. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
44. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده : Yuri Gurevich...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
45. Adaptive information processing : an introductory survey
پدیدآورنده : Sampson, Jeffrey R
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
رده :
QA
267
.
S25
46. Adaptive information processing: an introductory survey
پدیدآورنده : Sampson, Jeffrey R. 2491-
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
47. Advanced digital logic design : using VHDL, state machines, and synthesi for FPGAS
پدیدآورنده : Sunggu Lee
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits
رده :
TK
,
7868
,
L6L44
,
2006
48. Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs
پدیدآورنده : Lee, Sunggu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic design -- Data processing,، Digital electronics,، VHDL )Computer hardware description language(,، Sequential machine theory,، Application specific integrated circuits
رده :
TK
7868
.
L6L43
49. #Advanced digital logic design using verilog, state machines, and synthesis for FPGAs
پدیدآورنده : #Sunggu Lee
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Logic design ،Digital electronics. ،Verilog )Computer hardware description language( ،Sequential machine theory. ،Application-specific integrated circuits
رده :
#
TK
،#.
L6L44
،#
2006
50. Advanced mapping of environmental data
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geology- Statistical methods,Machine learning,Bayesian statistical decision theory
رده :
QE33
.
2
.
S82A35
2008
51. Advanced mapping of environmental data
پدیدآورنده : / edited by Mikhail Kanevski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geology, Statistical methods,Machine learning,Bayesian statistical decision theory
رده :
QE33
.
2
.
S82A36
2008
52. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Geology -- Statistical methods,Machine learning,Bayesian statistical decision theory
رده :
550
.
1519542
A244
53. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده : edited by Mikhail Kanevski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Geology - Statistical methods,، Machine learning,، Bayesian statistical decision theory
رده :
QE
33
.
2
.
S82
A35
2008
54. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده : edited by Mikhail Kanevski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Statistical methods ، Geology,، Machine learning,، Bayesian statistical decision theory
رده :
QE
33
.
2
.
S82
A35
2008
55. Advanced mapping of environmental data :geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده : /edited by Mikhail Kanevski.
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع : Geology--Statistical methods.,Machine learning.,Bayesian statistical decision theory.
رده :
QE
33
.
2
.
S82A35
2008
56. Advances in Bayesian networks
پدیدآورنده : José A. Gámez, Serafín Moral, Antonio Salmerón (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bayesian statistical decision theory -- Data processing.,Machine learning.,Neural networks (Computer science)
رده :
QA279
.
5
J674
9999
57. Advances in Petri Nets 1985
پدیدآورنده : edited by G. Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
222
58. Advances in Petri Nets 1987
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
266
59. Advances in Petri Nets 1989
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
424
60. Advances in Petri Nets 1992
پدیدآورنده : G. Rozenberg )ed(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Petri nets,، Machine theory
رده :
QA
76
.
L28
Vol
.
609
